Add willamhou/hypervisor (no_std ARM64 bare-metal hypervisor)#510
Conversation
willamhou
requested review from
a team,
RandomInsano,
berkus and
rahul-thakoor
as code owners
BartMassey
left a comment
BartMassey
left a comment
There was a problem hiding this comment.
Well this is crazily cool: looks like an amazing piece of work. Please add the robot emoji 🤖 to indicate that the project contains AI code. I'm not clear what HW the project has been run on in addition to QEMU?
willamhou
left a comment
willamhou
left a comment
There was a problem hiding this comment.
Thanks for the kind words! Added the 🤖 emoji.
Regarding hardware: currently QEMU virt machine only. The pKVM integration (35/35 E2E tests) runs through real TF-A firmware in QEMU with secure=on, but no physical ARM64 board yet. The main blocker is finding hardware with S-EL2 support (ARMv8.4+) and accessible JTAG — Pixel phones have pKVM but locked bootloaders. Planning to test on a development board (e.g. Arm FVP or N1SDP) as a next step.
Updated the description to clarify "QEMU-only" status.
2 participants
Summary
Adds willamhou/hypervisor to the Firmware projects section.
What it is: A bare-metal ARM64 Type-1 hypervisor written in
no_stdRust with a single runtime dependency (fdtcrate). Runs at EL2 on QEMU virt machine, boots Linux 6.12.12 to BusyBox shell with 4 vCPUs, virtio-blk storage, and virtio-net networking.Key features:
no_std, no heap allocator crate — custom bump allocator, zero external runtime dependencies beyondfdtmake runboots and runs all tests)Why it fits: There are currently no ARM64 hypervisors listed in awesome-embedded-rust. This project demonstrates
no_stdRust for systems programming at the highest privilege level (EL2/S-EL2), complementing the existing firmware projects which target microcontrollers.